Concurrency verification : introduction to compositional and noncompositional methods.
By: De Roever, Willem-Paul.
Material type:
BookSeries: Cambridge tracts in theoretical computer science.Publisher: Cambridge: Cambridge University Press, 2001Description: xxii, 776 p.; ill.: 24 cm.ISBN: 9780521806084 .Subject(s): Computer software - Verification | Parallel processing (Electronic computers)DDC classification: 004.35
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004.35 ROE (Browse shelf) | Available | 013668 |
There are no comments for this item.